Kneser-Haken finiteness says that for each 3-manifold, there is a constant C such that any collection of surfaces of cardinality greater than C must contain parallel elements. Độ chính xác của Kneser-Haken nói rằng đối với mỗi 3 đa tạp, có một hằng số C các bề mặt của cardinality lớn hơn C phải chứa các phần tử song song.